Stichworte: Highly formal theory